#pragma once

#include <linux/cpuhotplug.h>

void cpu_startup_entry(enum cpuhp_state state);

void arch_cpu_idle_prepare(void);

void bringup_nonboot_cpus(unsigned int max_cpus);


extern void boot_cpu_init(void);

void notify_cpu_starting(unsigned int cpu);
